More from this Author

Computer Science Logic

by Luke Ong (Editor)

Typed Lambda Calculi and Applications

by Luke Ong (Editor)

Typed Lambda Calculi and Applications

by Luke Ong (Editor)

Logic, Language, Information, and Computation

by Ruy de Queiroz (Editor), Luke Ong (Editor)

Formal Methods and Software Engineering

by Zhenhua Duan (Editor), Luke Ong (Editor)

Computation, Logic, Games, and Quantum Foundations - the Many Facets of Samson Abramsky

by Bob Coecke (Editor), Luke Ong (Editor), Prakash Panangaden (Editor)